38 research outputs found
Reconstructing projective modules from its trace ideal
We make a detailed study of idempotent ideals that are traces of countably
generated projective right modules. We associate to such ideals an ascending
chain of finitely generated left ideals and, dually, a descending chain of
cofinitely generated right ideals.
The study of the first sequence allows us to characterize trace ideals of
projective modules and to show that projective modules can always be lifted
modulo the trace ideal of a projective module. As a consequence we give some
new classification results of (countably generated) projective modules over
particular classes of semilocal rings. The study of the second sequence leads
us to consider projective modules over noetherian FCR-algebras; we make some
constructions of non-trivial projective modules showing that over such rings
the behavior of countably generated projective modules that are not direct sum
of finitely generated ones is, in general, quite complex.Comment: 29 page
Cotorsion pairs generated by modules of bounded projective dimension
We apply the theory of cotorsion pairs to study closure properties of classes
of modules with finite projective dimension with respect to direct limit
operations and to filtrations.
We also prove that if the ring is an order in an -noetherian ring Q
of small finitistic dimension 0, then the cotorsion pair generated by the
modules of projective dimension at most one is of finite type if and only if Q
has big finitistic dimension 0. This applies, for example, to semiprime Goldie
rings and Cohen Macaulay noetherian commutative rings.Comment: 30 Page
Mittag-Leffler conditions on modules
We study Mittag-Leffler conditions on modules providing relative versions of
classical results by Raynaud and Gruson. We then apply our investigations to
several contexts. First of all, we give a new argument for solving the Baer
splitting problem. Moreover, we show that modules arising in cotorsion pairs
satisfy certain Mittag-Leffler conditions. In particular, this implies that
tilting modules satisfy a useful finiteness condition over their endomorphism
ring. In the final section, we focus on a special tilting cotorsion pair
related to the pure-semisimplicity conjecture.Comment: 45 page
Almost free modules and Mittag-Leffler conditions
AbstractDrinfeld recently suggested to replace projective modules by the flat Mittag-Leffler ones in the definition of an infinite dimensional vector bundle on a scheme X (Drinfeld, 2006 [8]). Two questions arise: (1) What is the structure of the class D of all flat Mittag-Leffler modules over a general ring? (2) Can flat Mittag-Leffler modules be used to build a Quillen model category structure on the category of all chain complexes of quasi-coherent sheaves on X?We answer (1) by showing that a module M is flat Mittag-Leffler, if and only if M is ℵ1-projective in the sense of Eklof and Mekler (2002) [10]. We use this to characterize the rings such that D is closed under products, and relate the classes of all Mittag-Leffler, strict Mittag-Leffler, and separable modules. Then we prove that the class D is not deconstructible for any non-right perfect ring. So unlike the classes of all projective and flat modules, the class D does not admit the homotopy theory tools developed recently by Hovey (2002) [26]. This gives a negative answer to (2)